proof by contradiction in discrete mathematics

welcome to shbcf.ru